#!/bin/sh

set -e

./script/repl-in core.typed/checker.jvm "$ARGS"
